<?php
class User
{
	function __destruct()
	{
		// Destructor code goes here
	}
}
?>
